1. An introduction to independence for analysts
پدیدآورنده: Dales, H. G.)Harold G.(
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: ، Forcing )Model theory(,، Independence )Mathematics(,، Axiomatic set theory
رده :
QA
9
.
7
.
D35
1987
2. An introduction to independence for analysts
پدیدآورنده: Dales, H. G.)Harold G.(
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Forcing )Model theory(,، Independence )Mathematics(,، Axiomatic set theory
رده :
QA
9
.
7
.
D35
1987
3. Intuitionistic logic, model theory and forcing
پدیدآورنده: Fitting, Melvin
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع: ، Model theory,، Axiomatic set theory,، Forcing )Model theory(
رده :
QA
9
.
F56
4. Proper and improper forcing
پدیدآورنده: Shelah, Saharon
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Forcing )Model theory(,، Axiomatic set theory
رده :
QA
9
.
7
.
S54
1998
5. Proper forcing
پدیدآورنده: Shelah, Saharon.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: ، Forcing )Model theory(,، Axiomatic set theory
رده :
QA
1
.
L4
v
.
940